Formal Modeling of Software Quality with xNoFun Language
نویسندگان
چکیده
This paper presents new practical approach to automated formal modeling and validation of quality requirements. It relies on two paramount software industry standards: ISO/IEC 9126 for software quality and XML for formal notation. The xNoFun language allows composing formal quality models not only manually but via requirement management CASE tool IBM Rational RequisitePro. Efficient runtime modules for autonomic quality monitoring and adjustment according to xNoFun specifications can be implemented. Quality modeling and monitoring of automatic electricity metering system is considered as an industrial application of the approach.
منابع مشابه
Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملDeveloping Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملThe Impact of Native Language on Use Case Modeling : A Controlled Experiment
Software development is a collaborative activity where the quality of the end product depends to a great extent on the quality of the requirements engineering process. Hence, the requirements engineering phases are crucial during the development of a software system. If done incorrectly, it may result in incomplete and inadequate system-to-be functionalities. The requirements engineering proces...
متن کاملOcl Formal Specification Based Metrics as a Measure of Complexity and Fault-proneness
Formal specification of UML models in OCL is essential to improve software quality. Owing to the use of OCL in precise model specification, its application has been looked in different perspectives such as early measurement of module complexity. Moreover, when UML class diagrams are complemented with OCL, the metrics collected from OCL specification can serve as an indicator of fault-prone comp...
متن کامل